In this paper I consider the possibility of a kind of a priori cognition that serves the purposes of metaphysics, given that metaphysics involves the search for modal knowledge. Necessary or, better, modal knowledge is a priori; so metaphysical knowledge is likewise a priori. Here I argue that intuition is the route to modal knowledge in metaphysics, and I insist that conceivability or knowledge of conceptual truths does not lead towards the modal realm of metaphysics.

It was an empirical discovery that Phosphorus is Hesperus. According to Kripke, this was also the discovery of a necessary fact. Now, given Kripke’s theory of direct reference one could wonder what kind of discovery this is. For we already knew Phosphorus/Hesperus, and we also knew that any entity is, necessarily, identical to itself. So what is it that was discovered? I want to show that there is more to this widely known case than what usual readings, and critics, reveal; (...) and I want to show this under the Kripkean pattern that what was discovered is the plain fact of identity that Phosphorus is, and necessarily is, Hesperus. Moreover, I will show how both Kripkean theses, the necessity of identity and the direct theory of reference, should not be kept apart to understand the kind of discovery this is. In particular, understanding the kind of discovery we made will help us see how intuition is displayed in metaphysics, and how metaphysical impossibilities, and metaphysical modality in general, can be discerned by reason and separated from other modalities. The study of this discovery will help us see, in a line, how identity belongs to the inner and most profound structure of reality and to the most profound structure of cognition and language. (shrink)

In The Philosophy of Logical Atomism Russell held the view that facts in the world are formally structured complexes, the structure of which matches the logical structure of correspondent propositions. Russell also seems to have denied that there are facts of identity and of diversity. This paper argues that Identity and Diversity can be understood as purely formal structures in Russellian facts. It considers Russell’s possible reasons for denying the existence of facts of identity and diversity and shows how problematic (...) these reasons are. In particular, I argue that identity statements are not tautologies, and their denial does not result into a contradiction. An important consequence of this thesis is that Metaphysics and Logic are not as tied up as Russell took them to be, but nevertheless these are good news for the old formal program for Metaphysics that lies at the very heart of what he called philosophical logic. (shrink)

I argue that the fundamental dogma that all necessary relations are internal is ungrounded. To motivate my argument, I analyse Moore’s classic ideas on internal relations and take them as an illustration of the common form of reasoning that can mislead us to conclude that all necessary relations are internal. That reasoning illicitly smuggles the idea that necessary properties and relations reflect on identity—in the sense that the loss of a necessary property/relation is a loss of identity—into the separate idea (...) that the loss of a necessary property/relation is a loss of essence. Essence, however, is not identity. So the way seems to be open for the existence of necessary properties/relations which do not belong to the essence of entities; that is, the existence of necessary but external relations. I then offer some examples of such relations. (shrink)

The absence of a necessary connection in singular causation is a key step in the Humean argument against any form of necessity in causation. I argue that Hume's defence of this step is unsuccessful, and that the step could be skipped, accepting the possibility of necessary a posteriori truths. Still this does not suffice to guarantee a necessary connection in singular causation. Necessary a posteriori truths should be backed by necessary a priori truths. Thus, a main object of this paper (...) is to argue that an a priori philosophical concept of causality involves a necessary connection between its terms. (shrink)

Este artículo defiende que toda acción es un suceso que entraña, responsabilidad agente. Toda acción es el suceso que es el "hacer" de alguien. La responsabilidad del agente que define una acción es el tipo que justifica el premio-castigo. Esto implica que la acción es, en todos los casos, revocable y socialmente sancionada, igual que lo es la responsabilidad que la define. Más aún, si la identidad personal se ha de comprender dentro del reino de la acción, las teorías de (...) corte narrativo, más que las aproximaciones mentalistas, se encuentran mucho mejor posicionadas para llevar a cabo esta labor de comprensión.Este artículo defiende que toda acción es un suceso que entraña, responsabilidad agente. Toda acción es el suceso que es el "hacer" de alguien. La responsabilidad del agente que define una acción es el tipo que justifica el premio-castigo. Esto implica que la acción es, en todos los casos, revocable y socialmente sancionada, igual que lo es la responsabilidad que la define. Más aún, si la identidad personal se ha de comprender dentro del reino de la acción, las teorías de corte narrativo, más que las aproximaciones mentalistas, se encuentran mucho mejor posicionadas para llevar a cabo esta labor de comprensión.This paper argues that an action is an event that essentially conveysagent responsibility. Any action is the event that is someone’s doing. Andagent responsibility, which defines action, is the kind of responsibility that justifiesreward and punishment. This means that action is, in all cases, defeasileand socially santioned, such as it is the type of responsibility that defines action.Moreover, if pesonal identity is to be understood within the frame ofaction, narrativist kind of theories, rather than mentalist approaches, are in amuch better position to do the job. (shrink)

The object of this paper is to offer a conception of singular causality that lies between two main views in the literature, which I take to be paradigmatically represented by David Armstrong (1997) and by Michael Tooley (1987, 1990) respectively. Armstrong maintains that there is singular causation wherever there are singular facts that instantiate causal laws; these facts are otherwise independent regularities. Tooley maintains that singular causation is independent of causal laws together with any other non-causal fact. My own view (...) is that Armstrong’s account is too weak to conform a singularist position, as in his view singular causal relations are finally dependent on universal causation. On the other hand, Tooley’s account is too strong to be causal, as causation dissolves into a purely external and mysterious connection that is not even Humean -not even regularities play a role in its establishment. I want to maintain that there exists a middle way that correctly characterizes the spirit of singular causation, and that can be stated by (CS): (CS) Singular causality is metaphysically independent of universal causality. Neither Tooley nor Armstrong would admit (CS) as an appropriate defining thesis for causal singularism. In what follows, I consider different causal situations existing in the literature, with the purpose of analysing singular causation, arguing against Tooley and Armstrong's views, and defending (CS) instead. If my reasons are accepted, Armstrong’s position, rather than being singular in spirit, results into a form of causal universalism. I will also reject Tooley’s singularism as an extreme counterintuitive form of hyperrealism. Some consequences for causation are immediate. In particular, that singular causal relations are tropes, i.e., individual relations. (shrink)

Tropes, as distinguished from other possible kinds of entities such as universals, states of affairs, events and bare particulars, are best-suited to play the role of causal relata.

I want to make sense of the view that singular causation involves a metaphysical necessary connection. By this I understand, where A and B are particulars, that ifA causes B then in every possible world in which A (or an A-indiscernible) or B (or a B-indiscernible) occurs, A (or an Aindiscernible) and B (or a B-indiscernible) occur. In the singularist approach that I will favour causal facts do not supervene on laws, causal relata are best understood as tropes, causation is (...) founded on the nature of its terms, and the necessity thus involved does not entail essentialism, determinism, and other usual problems. (shrink)

This article argues for two related theses. First, it defends a general thesis: any kind of necessity, including metaphysical necessity, can only be known a priori. Second, however, it also argues that the sort of a priori involved in modal metaphysical knowledge is not related to imagination or any sort of so-called epistemic possibility. Imagination is neither a proof of possibility nor a limit to necessity. Rather, modal metaphysical knowledge is built on intuition of philosophical categories and the structures they (...) form. (shrink)

RésuméCet article examine l'argumentation de Sullivan en faveur du principe que toute chose a une cause. On soutient que les critiques de Smith et d'Allen ne lui rendent pas justice et que Sullivan est justifié de maintenir que nous n'avons pas de bonnes raisons de nier la vérité de ce principe. Sa défense finale, cependant, qui semble basée sur une approche thomiste, échoue. Être contingent et être causé sont séparables. Il semble au bout du compte que nous n'ayons pas non (...) plus de bonnes raisons de nier la fausseté du principe en question. (shrink)

RÉSUMÉ: Cet article examine l'argumentation de Sullivan en faveur du principe que toute chose a une cause. On soutient que les critiques de Smith et d'Allen ne lui rendent pas justice et que Sullivan est justifié de maintenir que nous n'avons pas de bonnes raisons de nier la vérité de ce principe. Sa défense finale, cependant, qui semble basée sur une approche thomiste, échoue. Être contingent et être causé sont séparables. Il semble au bout du compte que nous n'ayons pas (...) non plus de bonnes raisons de nier la fausseté du principe en question. (shrink)

Code-based cryptography is currently the second most promising post-quantum mathematical tool for quantum-resistant algorithms. Since in 2022 the first post-quantum standard Key Encapsulation Mechanism, Kyber (a latticed-based algorithm), was selected to be established as standard, and after that the National Institute of Standards and Technology post-quantum standardization call focused in code-based cryptosystems. Three of the four candidates that remain in the fourth round are code-based algorithms. In fact, the only non-code-based algorithm (SIKE) is now considered vulnerable. Due to this landscape, (...) it is crucial to update previous results about these algorithms and their functioning. The Fujisaki-Okamoto transformation is a key part of the study of post-quantum algorithms and in this work we focus our analysis on Classic McEliece, BIKE and HQC proposals, and how they apply this transformation to obtain IND-CCA semantic security. Since after security the most important parameter in the evaluation of the algorithms is performance, we have compared the performance of the code-based algorithms of the NIST call considering the same architecture for all of them. (shrink)

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

It has been said that Sophocles’ Ajax lacks unity, and that its conclusion loses part of its tragic effect. This paper examines the tragedy’s structure and the associated innovations introduced by Sophocles, focusing primarily on the double agon. The paper attempts to explain the agon’s dual nature by comparing Ajax with three other works, namely the Iliad, Ichneutai and, especially, the Hymn to Hermes.

Expressions in a language, whether words, phrases, or sentences, have meanings. So it seems reasonable to suppose that there are meanings that expressions have. Of course, it is fashionable in some philosophical circles to deny this.

These two texts are fundamental for the understanding not only of Neoplatonism but also of the conventions of biography in late antiquity. Neither has received such extensive annotation before in English, and this new commentary makes full use of recent scholarship. The long introduction is intended both as a beginner’s guide to Neoplatonism and as a survey of ancient biographical writing.

' I heartily recommend it to any philosopher of language interested in the issues. [] Logicians, of course, will want to savour the whole thing.' Australian Journal of Philosophy, 71:3 (1993).

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

The paper considers the question of when the operator L of necessity in modal logic can be expressed in terms of the operator meaning it is non-contingent that.

Dialog is a joint action at different levels. At the highest level, the goal of interlocutors is to align their mental representations. This emerges from joint activity at lower levels, both concerned with linguistic decisions (e.g., choice of words) and nonlinguistic processes (e.g., alignment of posture or speech rate). Because of the high‐level goal, the interlocutors are particularly concerned with close coupling at these lower levels. As we illustrate with examples, this means that imitation and entrainment are particularly pronounced during (...) interactive communication. We then argue that the mechanisms underlying such processes involve covert imitation of interlocutors’ communicative behavior, leading to emulation of their expected behavior. In other words, communication provides a very good example of predictive emulation, in a way that leads to successful joint activity. (shrink)

Neuroethics has developed rapidly, driven in large part by developments in neuroscience. This article reviews neuroethics from the standpoint of its growing real-world relevance. It opens up with an analysis of the history of neuroscience that suggests the reason for the emergence of neuroethics now, in the early twenty-first century. It proceeds to survey current applications of neuroscience to diverse real-world problems. Published research in the field of neuromarketing is more focused on academic issues, such as the nature of the (...) brain activity underlying consumer behavior and the accuracy of brain-behavior predictions, than it is on the real-world utility of neuromarketing for improving business. Finally, this article concludes with a discussion of the ethical issues raised by these developments, and outlines three general challenges for society in the age of neuroscience. (shrink)

David Lewis's modal realism claims that nothing can exist in more than one world or time, and that statements about how something would have been are to be analysed in terms of its counterpart. I first explain why the counterpart relation depends on de re modal statements in an intensional language, so that intuitive properties of similarity relations cannot be used to show that the counterpart relation is not an equivalence relation. I then look at test sentences in (the intensional) (...) natural language, and show that none of them provide compelling evidence that a counterpart semantics is needed. (shrink)

Semantic Indexicality shows how a simple syntax can be combined with a propositional language at the level of logical analysis. It is the adoption of such a base language which has not been attempted before, and it is this which constitutes the originality of the book. Cresswell's simple and direct style makes this book accessible to a wider audience than the somewhat specialized subject matter might initially suggest.

In this paper we examine the case of Tay, the Microsoft AI chatbot that was launched in March, 2016. After less than 24 hours, Microsoft shut down the experiment because the chatbot was generating tweets that were judged to be inappropriate since they included racist, sexist, and anti-Semitic language. We contend that the case of Tay illustrates a problem with the very nature of learning software that interacts directly with the public, and the developer's role and responsibility associated with it. (...) We make the case that when LS interacts directly with people or indirectly via social media, the developer has additional ethical responsibilities beyond those of standard software. There is an additional burden of care. (shrink)

Adverbial modification is probably one of the least understood areas of linguistics. The essays in this volume all address the problem of how to give an analysis of adverbial modifiers within truth-conditional semantics. Chapters I-VI provide analyses of particular modifiers within a possible worlds framework, and were written between 1974 and 1981. Original publication details of these chapters may be found on p. vi. Of these, all but Chapter I make essential use of the idea that the time reference involved (...) in tensed sentences should be a time interval rather than a single instant. The final chapter (Chapter VII) was written especially for this volume and investigates the question of how the 'situation semantics' recently devised by Jon Barwise and John Perry, as a rival to possible-worlds semantics, might deal with adverbs. In addition I have included an appendix to Chapter III and an introduction which links all the chapters together. (shrink)